首页> 外文OA文献 >A complete and terminating execution model for Constraint Handling Rules

【2h】

A complete and terminating execution model for Constraint Handling Rules

机译：约束处理规则的完整和终止执行模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hariolf Betz; Frank Raiser; Thom Frühwirth;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A complete and terminating execution model for Constraint Handling Rules [J] . HARIOLF BETZ, FRANK RAISER, THOM FRUEHWIRTH Theory and Practice of Logic Programming . 2010,第4a6期

机译：约束处理规则的完整且终止的执行模型
2. Decentralized execution of constraint handling rules for ensembles [J] . Maria Grazia Vigliotti Computing reviews . 2014,第7期

机译：集合的约束处理规则的分散执行
3. Concurrent goal-based execution of Constraint Handling Rules [J] . EDMUND S. L. LAM, MARTIN SULZMANN Theory and Practice of Logic Programming . 2011,第PTa6期

机译：基于目标的并发执行约束处理规则
4. Constraint Handling Rules and Tabled Execution [C] . Tom Schrijvers, David S. Warren Logic Programming . 2004

机译：约束处理规则和表执行
5. Optimal Execution in a General One-Sided Limit-Order Book and Endogenous Dynamic Completeness of Financial Models. [D] . Predoiu, Silviu Nicolae. 2011

机译：通用单侧限价订单中的最优执行和财务模型的内生动态完整性。
6. From the Cover: A geometric constraint the head-to-tail exclusion rule may be the basis for the isolated-pentagon rule in fullerenes with more than 60 vertices [O] . Stan Schein, Tara Friedrich 2008

机译：从封面开始：几何约束（从头到尾的排除规则）可能是具有60个以上顶点的富勒烯中孤立五边形规则的基础
7. A Complete and Terminating Execution Model for Constraint Handling Rules [O] . Betz, Hariolf, Raiser, Frank, Frühwirth, Thom 2010

机译：约束处理规则的完备终止执行模型

A complete and terminating execution model for Constraint Handling Rules

著录项

引文网络

相似文献

相关主题

期刊订阅